Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
301	Online Estimation of B-Spline Mixture Models From TOF-PET List-Mode Data Colas Schretter, Jianyong Sun and Leif Kobbelt Abstract—In emission tomography, images are usually represented by regular grids of voxels or over Add to Reading List Source URL: homepages.ulb.ac.be Language: English - Date: 2011-02-23 10:40:01 Cluster analysis Splines Machine learning Mixture model Expectation–maximization algorithm Gaussian function Normal distribution Multivariate normal distribution Iterative reconstruction Statistics Probability and statistics Estimation theory
302	Open Source Research, A Quiet Revolution OWEN DENSMORE Complexity Workshop Abstract The Open Source revolution is not limited to operating systems, file sharing and web Add to Reading List Source URL: backspaces.net Language: English - Date: 2008-02-27 23:12:22 Academia Systems Academic publishing Cybernetics Digital humanities Agent-based model Open source Open access Complex systems Science Knowledge Complex systems theory
303	A Graphical Approach to the Standard Principal-Agent Model Xianming Zhou Abstract: An obstacle to the teaching of principal-agent theory is the technical complexity and intractability of the general model. Even in academ Add to Reading List Source URL: www.sef.hku.hk Language: English - Date: 2008-03-05 03:11:57 Market failure Organizational theory Principal–agent problem Incentive Labour economics Risk aversion Behavior Ethics Asymmetric information Economics
304	Modeling Epidemic Spreading in Complex Networks: Concurrency and Traffic Sandro Meloni, Alex Arenas, Sergio G´omez, Javier Borge-Holthoefer and Yamir Moreno Abstract The study of complex networks sheds light on the rel Add to Reading List Source URL: www.jbh.cat Language: English - Date: 2014-10-17 18:25:26 Mathematics Epidemic model Public health Degree distribution Symbol Network theory Dynamical system Markov chain Network science Statistics Epidemiology Graph theory
305	Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization Alachew Shitahun1 Vitalij Ruge2 Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2013-03-26 11:28:54 Software engineering Software Operations research Modelica Mathematical optimization Control theory JModelica.org Optimal control Model predictive control Simulation software Application software Object-oriented programming
306	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:06:27 Logic Mathematical structures Abstract algebra Universal algebra Algebraic structures Structure Term algebra Denotational semantics Interpretation Mathematics Mathematical logic Model theory
307	Proof of Beal’s Conjecture (In Logic Symbols) By: Don Blazys and Brett Blazys (research assistant) Abstract: This is essentially the same proof that can be found on my website http://donblazys.com/ and on the “Unsolv Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:41:51 Predicate logic Proof theory Logical syntax Model theory First-order logic Mathematical proof Formal proof Calculus Logic Mathematics Mathematical logic
308	On complexity of the quantum Ising model Sergey Bravyi∗ Matthew Hastings† Abstract Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-11-28 23:30:58 Applied mathematics Adiabatic quantum computation QMA Quantum computer Quantum annealing Perturbation theory Quantum field theory Continuous quantum computation Theoretical computer science Physics Quantum mechanics
309	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:44:09 C*-algebra Von Neumann algebra Boolean algebra Model theory Equivalence of categories Kernel Monoidal t-norm logic Heyting algebra Mathematics Algebra Abstract algebra
310	Index of concepts A absolutely free extension constructor, 263 abstract algebraic institution, 218 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-09-04 10:34:40 Universal algebra Category theory Model theory Algebraic structures Mathematical structures Adjoint functors Heyting algebra Functor Subalgebra Mathematics Abstract algebra Algebra

UPDATE